Abstract Models of Transfinite Reductions
نویسنده
چکیده
MODELS OF TRANSFINITE REDUCTIONS
منابع مشابه
Transfinite Reductions in Orthogonal Term Rewriting Systems
We establish some fundamental facts for infinitary orthogonal term rewriting systems (OTRSs): for strongly convergent reductions we prove the Transfinite Parallel Moves Lemma and the Compressing Lemma. Strongness is necessary as shown by counterexamples. Normal forms (which we allow to be infinite) are unique, in contrast to ω-normal forms. Fair reductions result in ω-normal forms if they are c...
متن کاملThe defining core of a theory of infinitary term rewriting is its notion of convergence for transfinite reductions: which transfinite reductions
We study an alternative model of infinitary term rewriting. Instead of a metric on terms, a partial order on partial terms is employed to formalise convergence of reductions. We consider both a weak and a strong notion of convergence and show that the metric model of convergence coincides with the partial order model restricted to total terms. Hence, partial order convergence constitutes a cons...
متن کاملMaharavo Randrianarivony Tetrahedral transfinite interpolation with B-patch faces: construction and regularity
We provide a methodology for efficiently checking whether a tetrahedral transfinite interpolation is regular. From given four triangular surfaces in form of B-patches fulfilling some compatibility conditions, we generate a transfinite interpolation defined on the unit 3D simplex. An efficient subdivision scheme is provided for a B-patch in order to obtain criteria which are verifiable in a disc...
متن کاملBöhm Reduction in Infinitary Term Graph Rewriting Systems
The confluence properties of lambda calculus and orthogonal term rewriting do not generalise to the corresponding infinitary calculi. In order to recover the confluence property in a meaningful way, Kennaway et al. [11, 10] introduced Böhm reduction, which extends the ordinary reduction relation so that ‘meaningless terms’ can be contracted to a fresh constant ⊥. In previous work, we have estab...
متن کاملInfinitary Rewriting: Foundations Revisited
Infinitary Term Rewriting allows to express infinitary terms and infinitary reductions that converge to them. As their notion of transfinite reduction in general, and as binary relations in particular two concepts have been studied in the past: strongly and weakly convergent reductions, and in the last decade research has mostly focused around the former. Finitary rewriting has a strong connect...
متن کامل